منابع مشابه
Pattern-Based Graph Abstraction
We present a new abstraction technique for the exploration of graph transformation systems with infinite state spaces. This technique is based on patterns, simple graphs describing structures of interest that should be preserved by the abstraction. Patterns are collected into pattern graphs, layered graphs that capture the hierarchical composition of smaller patterns into larger ones. Pattern g...
متن کاملUnsupervised Event Abstraction using Pattern Abstraction and Local Process Models
Process mining analyzes business processes based on events stored in event logs. However, some recorded events may correspond to activities on a very low level of abstraction. When events are recorded on a too low level of granularity, process discovery methods tend to generate overgeneralizing process models. Grouping low-level events to higher level activities, i.e., event abstraction, can be...
متن کاملPattern-based Rewriting through Abstraction
Model-based development relies on models in different phases for different purposes, with modelling patterns being used to document and gather knowledge about good practices in specific domains, to analyse the quality of existing designs, and to guide the construction and refactoring of models. Providing a formal basis for the use of patterns would also support their integration with existing a...
متن کاملMaterialization: A Powerful and Ubiquitous Abstraction Pattern
Materialization is a useful abstraction pattern that can be identified in many application settings. Intuitively, materialization is the relationship between a class of categories (e.g., models of cars) and a class of more concrete objects (e.g., individual cars). This paper gives a quasi-formal semantic definition of materialization in terms of the usual is-a and isof abstractions, and of a cl...
متن کاملSpatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification
Spatial abstraction empowers complex agent control processes. We propose a formal definition of spatial abstraction and classify it by its three facets, namely aspectualization, coarsening, and conceptual classification. Their characteristics are essentially shaped by the representation on which abstraction is performed. We argue for the use of so-called aspectualizable representations which en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1966
ISSN: 0022-247X
DOI: 10.1016/0022-247x(66)90071-0